21. Computing in systems described by equations
پدیدآورنده : O'Donnell, Michael J., 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Interpreters )Computer programs(,، Equations,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
58
22. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
95
23. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
M3595
1980
24. Coroutines : a programming methodology, a language design, and an implementation
پدیدآورنده : Marlin, Christopher D., 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
95
25. Designing systems programs
پدیدآورنده : GAUTHIER,RICHARD L
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
26. Distributed Programmin
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
رده :
E-BOOK
27. ESOP '88
پدیدآورنده : H. Ganzinger, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
28. Essential Linux fast
پدیدآورنده : Ian Chivers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux (Computer file),Linux.,Operating systems (Computers)
رده :
QA76
.
76
.
O63
I263
2001
29. Expert advisor programming :
پدیدآورنده : Andrew R. Young.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)
رده :
Z52
.
5
.
M52
A537
2010
30. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
31. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
32. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
33. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
34. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
35. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
36. Foundations of computer programming
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer programming. ; Programming languages (Electronic computers) ; Browsers (Computer programs) ;
37. Foundations of programming languages /
پدیدآورنده : Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
38. Fundamentals of Programming Languages
پدیدآورنده : by Ellis Horowitz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
B945
1983
39. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
40. Grep :
پدیدآورنده : John Bambenek and Agnieszka Klus
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic information resource searching-- Computer programs,Programming languages (Electronic computers),Utilities (Computer programs),Grep (Computer language program)
رده :
QA76
.
76
.
U84
B36
2009
